Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science)
by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science)
by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
ISBN 13: 9783319955810
Format: Paperback
(708 pages)
Publisher: Springer
Published: 12 Jul 2018
Save for later
New : $98.10
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
